Mathematical programming - PDFSEARCH.IO - Document Search Engine

Mathematical programming
Results: 4310

#	Item
281	271 Documenta Math. Nelder, Mead, and the Other Simplex Method Margaret H. Wright Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2012-07-25 10:25:09 Operations research Mathematical optimization NelderMead method John Nelder Pattern search Derivative-free optimization Simplex algorithm Linear programming Numerical analysis Simplex Constrained optimization
282	Solving Dynamic Constraint Satisfaction Problems: Relations between Problem Alteration and Search Performance Richard J. Wallace, Diarmuid Grimes and Eugene C. Freuder Cork Constraint Computation Centre and Department of Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:07:53 Constraint programming Operations research Search algorithms Constraint satisfaction problem Mathematical optimization Constraint satisfaction Heuristic Algorithm Duality Backtracking Travelling salesman problem Local consistency
283	U UNPLUGGED Graph Paper Programming Lesson time: 20 Minutes Basic lesson time includes activity only. Introductory and Wrap-Up suggestions can be used to delve deeper when time allows. Add to Reading List Source URL: code.org Language: English - Date: 2016-08-19 22:19:30 Algorithm Mathematical logic Theoretical computer science Graph Graph coloring Pedagogy
284	Computer Methods and Programs in Biomedicine– 236 www.elsevier.com/locate/cmpb Software design for analysis of multichannel intracardial and body surface electrocardiograms Mark Potse a,, Andre´ C. Linn Add to Reading List Source URL: www.potse.nl Language: English* - Date: 2002-08-28 05:51:18 Computer programming Software Visual programming languages Mathematical software Cross-platform software Software documentation Literate programming Documentation generator Wolfram Mathematica Event Computing User interface
285	Exam Logical Verification December 18, 2008 There are six (6) exercises. Answers may be given in Dutch or English. Good luck! Exercise 1. This exercise is concerned with first-order propositional logic (prop1) and simply Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Mathematical logic Type theory Formal methods Classical logic Metalogic Lambda calculus First-order logic Propositional calculus Tautology Dependent type Well-formed formula Logic programming
286	STATIC OPTIMIZATION (E. Molho) SYLLABUS The usual contents of a basic calculus course and some basic notions in linear algebra are considered as prerequisites for the course. 1) Eigenvalues and eigenvectors, quadratic fo Add to Reading List Source URL: www.laser.unimi.it Language: English - Date: 2014-10-20 11:56:50 Mathematical optimization Quasiconvex function Constrained optimization Mathematical economics Optimization Sequential quadratic programming Trajectory optimization
287	RICHARD BELLMAN ON THE BIRTH OF DYNAMIC PROGRAMMING STUART DREYFUS University of California, Berkeley, IEOR, Berkeley, California 94720, W Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2014-11-28 11:05:21 Equations Mathematical optimization Operations research Formal sciences Dynamic programming Richard E. Bellman Bellman equation Mathematics Algorithm Functional equation Mathematical model Nonlinear system
288	Transformation and Analysis of Functional Programs Neil Mitchell Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Subroutines Programming paradigms Functional languages Generic programming Inline expansion Mathematical optimization Recursion Haskell Comparison of C Sharp and Java Functional programming
289	Copyright © 2001, The Regents of the University of California October, 2001 http://interface.cipic.ucdavis.edu Release 1.1 Add to Reading List Source URL: interface.cipic.ucdavis.edu Language: English - Date: 2009-08-14 14:09:52 Array programming languages Cross-platform software Linear algebra MATLAB Mathematical software Numerical software Dar Database
290	227 Documenta Math. Markowitz and Manne + Eastman + Land and Doig = Branch and Bound Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2012-07-25 10:25:04 Operations research Combinatorial optimization Travelling salesman problem Branch and bound Linear programming relaxation Integer programming Branch and cut Linear programming Algorithm Mathematical optimization Cutting-plane method Simplex algorithm

UPDATE